1. Programming Challenges: The programming contest training manual

by Skiena, Stevan S | Revilla, Miguel A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 005.1 SKI] (1).
2. Handbook of mathematics and computational science

by Harris, John W | Stocker, Horst.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1998Availability: Items available for loan: [Call number: 510 HAR] (1).
3. On concurrent programming

by Schneider, Fred B.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1997Availability: Items available for loan: [Call number: 005.275 SCH] (1).
4. Bayesian networks and decision graphs

by Jensen, Finn V.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 519.542 JEN] (1).
5. Origin of concurrent programming : from semaphores to remote procedure calls

by Hansen, Per Brinch.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 005.275 HAN] (1).
6. Discrete mathematics : elementary and beyond

by Lovasz, Laszlo | Pelikan, J | Vesztergombi, K.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 510 LOV] (1).
7. Complexity and real computation

by Blum, Lenore.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 511.3 BLU] (1).
8. Clinical decision support systems : theory and practice

by Berner, Eta S.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 616.0750285 BER] (1).
9. Dynamic modeling

by Ruth, Matthias | Hannon, Bruce.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 003.8501135369 HAN] (2).
10. Computer science education in the 21st century

by Greening, Tony.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2000Availability: Items available for loan: [Call number: 004.071 GRE] (1).
11. UML applied : a .NET perspective

by Shoemaker, Martin L.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 005.117 SHO] (1).
12. First Course in Discrete Mathematics

by Anderson, Ian.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 510 AND] (1).
13. Statistical and neural classifiers : an integrated approach to design

by Raudys, Sarunas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 006.4 RAU] (1).
14. Planning and implementing your final year project - with success!: A guide for students in computer science and information systems

by Berndtsson, M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 BER] (1).
15. Artificial immune systems : a new computational intelligence approach

by Timmis, Jonathan | De Castro, Leandro N.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 006.3 DEC] (1).
16. Guide to the Unified Process Featuring UML, Java and Design Patterns

by Hunt, John.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 005.117 HUN] (1).
17. Constructing correct software

by Cooke, John.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 005.1 COO] (1).
18. Advanced lectures on networking : networking 2002 tutorials

by Gregori, Enrico | Anastasi, Giuseppe | Basagni, Stefano.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 GRE] (1).
19. Thinking in complexity : the computational dynamics of matter, mind and mankind

by Mainzer, Klaus.

Edition: 4th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 501 MAI] (1).
20. Functional approach to data management : modeling, analyzing and integrating heterogeneous data

by Gray, Peter M. D | Kerschberg, Larry | King, Peter J. H | Poulovassilis, Alexandra.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 005.74 GRA] (1).

Powered by Koha